<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Processes | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">Processes</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">






      <ul class="nav nav-sidebar">
  
        <li class="">
          <a class="" href="/processes/conduct.html">
            Code of Conduct
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/contributing.html">
            Contributing
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/licenses.html">
            Licensing
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/style-guide.html">
            Style Guide
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/git-conventions.html">
            Git Conventions
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/code-review.html">
            Pull requests
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/release-process.html">
            Release process
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/rfc-process.html">
            RFC process
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/test-status.html">
            Test Status
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/websites.html">
            Websites
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/emails.html">
            Emails
          </a>
        </li>
  
        <li class="">
          <a class="" href="/MaintainedRepositories.html">
            Maintained Repositories
          </a>
        </li>
  
      </ul>











</div>

  </div>
  <div class="api content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="processes">Processes</h1>

<p>Documentation relating to development processes and how to get help or get involved in seL4
can be found on this page. Note that these are generalisations and may be different for a
particular project/repository.</p>

<p>The processes described here are managed by the <a href="https://sel4.systems/Foundation/">seL4 Foundation</a>.</p>

<h2 id="development-processes">Development processes</h2>

<p>Developing trustworthy systems requires identifying critical, trusted, system components and ensuring that they:</p>

<ul>
  <li>are isolated from non-critical, untrusted, components</li>
  <li>have assurance of their trustworthiness</li>
</ul>

<p>Determining appropriate system designs that clearly separate trusted from untrusted components and using this separation to achieve security and safety properties is beyond the scope of this section.
However,  given such a design, the seL4 ecosystem tries to provide components, infrastructure, and tools to implement it in a trustworthy way.</p>

<h3 id="what-we-work-on">What we work on</h3>

<p>As a microkernel, seL4 intends to provide the smallest amount of mechanisms required to enable
securely multiplexing hardware. A full system requires many more components than only the microkernel.
We typically try and reuse existing components when possible, but below is a list of projects that
are currently maintained to support the seL4 ecosystem:</p>

<ul>
  <li>
    <p><a href="/projects/sel4">seL4</a>: The seL4 microkernel.</p>
  </li>
  <li>
    <p><a href="https://github.com/sel4/l4v">seL4 verification</a>: formal specifications and proofs for the seL4 microkernel.</p>
  </li>
  <li>
    <p><a href="/projects/buildsystem">Build system</a> and <a href="/projects/sel4_tools">tooling</a>: Tooling, system configuration and building used to build seL4 projects using mostly CMake.</p>
  </li>
  <li>
    <p><a href="/projects/elfloader">Elfloader</a>: For preparing the hardware for seL4 on ARM and RISC-V.</p>
  </li>
  <li>
    <p><a href="/projects/sel4runtime">seL4 Run-time</a>: A minimal runtime for running a C or C-compatible process in a minimal seL4 environment.</p>
  </li>
  <li>
    <p><a href="/projects/user_libs">User environment libraries</a>: Userlevel libraries on seL4.</p>
  </li>
  <li>
    <p><a href="/projects/sel4test">seL4 testing framework</a>: Test suite for seL4.</p>
  </li>
  <li>
    <p><a href="/projects/sel4bench">seL4 benchmarking framework</a>: sel4bench contains benchmarking applications and a support library for seL4.</p>
  </li>
  <li>
    <p><a href="/projects/camkes">CAmkES framework</a>: Component Architecture for microkernel-based Embedded Systems.</p>
  </li>
  <li>
    <p><a href="/projects/capdl">CapDL</a>: Collection of tools for generating, parsing and loading capdl specifications of systems.</p>
  </li>
  <li>
    <p>Virtualization with <a href="/projects/camkes-vm">camkes-vm</a>: x86 and Arm Virtual Machines built as a CAmkES component.</p>
  </li>
  <li>
    <p><a href="/projects/sel4-tutorials">sel4-tutorials</a>: Collection of tutorials for learning to use seL4 and its ecosystem.</p>
  </li>
  <li>
    <p><a href="/projects/dockerfiles">Dockerfiles</a>: Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.</p>
  </li>
  <li>
    <p><a href="/projects/sel4webserver">seL4 webserver reference application</a>: A reference for implementing applications on seL4.</p>
  </li>
  <li>
    <p><a href="/projects/hardware_hacks">Hardware components</a>: Various bits and pieces to enable easier use of our hardware.</p>
  </li>
</ul>

<h4 id="supported-platforms">Supported platforms</h4>

<p>This all needs to be deployed on hardware components. The <a href="/Hardware">Supported Platforms</a> page has a list of currently supported platforms.</p>

<h3 id="how-we-choose-what-we-work-on">How we choose what we work on</h3>

<p>Primarily, what we work on gets prioritised by externally funded projects and what is long-term strategic.
The strategic roadmap can be found on the <a href="/projects/roadmap.html">seL4 development and verification roadmap</a> page.</p>

<p>Some priority is also given to the maintained projects and repositories which involves responding to
breakages and reported issues as they arise.  Raising a GitHub issue on a relevant repository is the best way to get an issue
acknowledged. Alternatively, the <em>devel</em> mailing list or the seL4 Mattermost can be used to ask about potential issues.</p>

<p>Additionally, the <a href="/processes/rfc-process">RFC process</a> is intended as a way to provide input on
longer-term priorities as well as a way to promote a collaborative design process on new kernel features
before larger effort is invested into their development. More information is provided on the RFC page above.</p>

<h3 id="where-we-work-on-things">Where we work on things</h3>

<p>The code documented on this site is available from two GitHub organisations:</p>

<ul>
  <li>
    <p><a href="https://github.com/sel4/">https://github.com/sel4/</a>: the seL4 kernel itself and the core
repositories around it, managed by the <a href="https://sel4.systems/Foundation/About">seL4
Foundation</a>.</p>
  </li>
  <li>
    <p><a href="https://github.com/sel4proj/">https://github.com/sel4proj/</a>: additional tools, libraries, and projects around seL4, managed by the
by the <a href="https://trustworthy.systems">Trustworthy Systems</a> group at UNSW.</p>
  </li>
</ul>

<p>Each project has a list of which repositories it contributes to on its
documentation home page. Alternatively, the README.md of each repository
should indicate what its purpose is.</p>

<p>Communication about what is being developed can occur on any of the channels listed <a href="#contact">below</a>.
In particular:</p>

<ul>
  <li>The <em>devel</em> mailing list, seL4 Mattermost and seL4 Discourse are for general development discussions.</li>
  <li>Discussions about proposed changes can reach a point where an
<a href="/processes/rfc-process">RFC</a> is created. Further discussion then happens on
the RFC pull requests in the
<a href="https://github.com/seL4/rfcs/pulls?q=is%3Aopen+is%3Apr+-label%3Anot-rfc+">RFC repository</a>.</li>
  <li>GitHub issue and Pull-request comment sections can also be used.</li>
</ul>

<p>The <a href="/projects/roadmap.html">seL4 development and verification
roadmap</a> page lists major features and
projects that someone has committed to deliver.</p>

<h2 id="contact">Contact</h2>

<p>We use the following communication mechanisms:</p>

<ul>
  <li><a href="emails">Mailing lists</a>: For email-based discussions, for asking for help, reporting issues or general seL4 communication.</li>
  <li><a href="https://sel4.discourse.group/">seL4 Discourse forum</a>: Forum for seL4. Attempting to build up useful knowledge-base.</li>
  <li><a href="https://mattermost.trustworthy.systems/sel4-external/">seL4 Mattermost</a>. seL4 chat platform (Sign-up link can be found on <a href="https://sel4.discourse.group/t/sel4-mattermost-sign-up-link/125">seL4 Discourse</a> with a valid account).</li>
  <li>GitHub issues: Reporting issues or creating pull requests on repositories
located in the <a href="https://github.com/seL4">seL4 GitHub org</a>.</li>
  <li><a href="https://github.com/seL4/rfcs">RFCs</a>: for reading and creating new seL4 features or larger ecosystem changes.</li>
  <li><a href="websites">Websites</a>: Websites containing information about seL4.</li>
  <li><a href="https://sel4.atlassian.net">seL4 Jira</a>: archive for old issue tracking on
seL4, CAmkES, and formal verification before GitHub development.</li>
</ul>

<h2 id="contributing">Contributing</h2>

<p>We welcome your contributions to code, documentation and this website.
To ensure a collaborative environment, we expect all contributions and interactions to fall within our <a href="/Conduct">Code of Conduct</a>.</p>

<p>In addition to following the development process that is outset below, most of the software projects generally follow the following conventions:</p>
<ul>
  <li><a href="/StyleGuide">Style Guide</a></li>
  <li><a href="/GitConventions">Git Conventions</a></li>
  <li><a href="/CodeReview">Pull requests</a></li>
</ul>

<p>Additionally, each project may have a slightly augmented processes for contributing:</p>
<ul>
  <li><a href="docs-contributing">docs.sel4.systems</a></li>
  <li><a href="https://github.com/seL4/l4v/blob/master/CONTRIBUTING.md">seL4 Proofs</a></li>
</ul>

  </div>

  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
    <ul id="toc" class="section-nav">
<li class="toc-entry toc-h2"><a href="#development-processes">Development processes</a>
<ul>
<li class="toc-entry toc-h3"><a href="#what-we-work-on">What we work on</a>
<ul>
<li class="toc-entry toc-h4"><a href="#supported-platforms">Supported platforms</a></li>
</ul>
</li>
<li class="toc-entry toc-h3"><a href="#how-we-choose-what-we-work-on">How we choose what we work on</a></li>
<li class="toc-entry toc-h3"><a href="#where-we-work-on-things">Where we work on things</a></li>
</ul>
</li>
<li class="toc-entry toc-h2"><a href="#contact">Contact</a></li>
<li class="toc-entry toc-h2"><a href="#contributing">Contributing</a></li>
</ul>
</div>

</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Thu Jun 27 10:18:23 2024 -0400 95a7b109d3
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/processes/index.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/processes/index.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
